CAFA: A Checksum-Aware Fuzzing Assistant Tool for Coverage Improvement
نویسندگان
چکیده
منابع مشابه
INSTRIM: Lightweight Instrumentation for Coverage-guided Fuzzing
Empowered by instrumentation, coverage-guided fuzzing monitors the program execution path taken by an input, and prioritizes inputs based on their contribution to code coverage. Although instrumenting every basic block ensures full visibility, it slows down the fuzzer and thus the speed of vulnerability discovery. This paper shows that thanks to common program structures (e.g., directed acyclic...
متن کاملVUzzer: Application-aware Evolutionary Fuzzing
Fuzzing is an effective software testing technique to find bugs. Given the size and complexity of real-world applications, modern fuzzers tend to be either scalable, but not effective in exploring bugs that lie deeper in the execution, or capable of penetrating deeper in the application, but not scalable. In this paper, we present an application-aware evolutionary fuzzing strategy that does not...
متن کاملH-Fuzzing: A New Heuristic Method for Fuzzing Data Generation
How to efficiently reduce the fuzzing data scale while assuring high fuzzing veracity and vulnerability coverage is a pivotal issue in program fuzz test. This paper proposes a new heuristic method for fuzzing data generation named with H-Fuzzing. H-Fuzzing achieves a high program execution path coverage by retrieving the static information and dynamic property from the program. Our experiments ...
متن کاملNFR-Assistant: Tool Support for Achieving Quality
This paper presents the NFR-Assistant, a prototype CASE tool, which assists the software developer in systematically achieving quality requirements. The tool allows for explicit representation of non-functional requirements, consideration of design alternatives, analysis of design trade-offs, rationalization of a design choice and evaluation of the level of achievement of NFRs. As one of the fi...
متن کاملA Web-Based Annotator-Assistant Tool
In recent years, the rapid accumulation of biological data and the corresponding enormous growth in the number of published research papers has rendered data annotation and literature searching immensely laborious tasks. The problems are particularly acute for biocurators, who often need to move quickly and easily, say, from a set of biomolecular sequences, to relevant literature search terms, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Security and Communication Networks
سال: 2018
ISSN: 1939-0114,1939-0122
DOI: 10.1155/2018/9071065